@gentype
type t = int

